((v1 v2 8) (v2 v3 8) (v3 v4 3) (v4 v5 2) (v5 v6 5) (v6 v7 9) (v7 v8 9) (v8 v9 8) (v9 v10 2) (v10 v11 5) (v11 v12 1) (v12 v13 6) (v13 v14 0) (v14 v15 1) (v15 v16 6) (v16 v17 4) (v17 v1 7))
242
()